Modules in the area of Theoretical Computer Science

Module	LV Type	CP	LV	Dates
Advanced Automata Theory	Fach-/Modulprüfung	6	351430
	Übung		282362	Fr 14:30-16:00 AH I (2350\|028) (×11)
	Vorlesung		279330	Mo 08:30-10:00 AH I (2350\|028) (×11) Di 14:00-16:30 Aula 2 (2352\|021) (×1) Mi 12:15-13:00 AH I (2350\|028) (×12)
Algorithmic Foundations of Datascience	Fach-/Modulprüfung	6	351845
	Übung		312680	Di 12:30-14:00 AH I (2350\|028) (×1) Fr 08:30-10:00 AH V (2356\|050) (×1) Fr 14:30-16:00 AH IV (2354\|030) (×8)
	Vorlesung		312673	Mo 08:30-10:00 AH V (2356\|050) (×10) Do 08:30-10:00 AH V (2356\|050) (×9)
Algorithmic Game Theory	Fach-/Modulprüfung	6	351474
Algorithmic Game Theory	Vorlesung		309120	Mo 10:30-12:00 MetP11 (2181\|102) (×12) Di 10:30-12:00 MetP11 (2181\|102) (×12) Do 12:30-14:00 MetP11 (2181\|102) (×11)
Foundations of the UML	Fach-/Modulprüfung	6	351852
Modeling and analysis of hybrid systems	Fach-/Modulprüfung	6	352058
Modeling and analysis of hybrid systems	Vorlesung/Übung		279319	Mo 14:30-16:00 AH V (2356\|050) (×12) Di 10:30-12:00 AH VI (2356\|051) (×12) Mi 16:00-18:00 Fakultätsseminarraum (2359\|U112) (×1)
Semantics and Verification of Software	Fach-/Modulprüfung	6	351544
	Übung		309117	Fr 10:30-12:00 5056 (2356\|056) (×10) Fr 10:30-12:00 Extern (×1)
	Vorlesung		309118	Mo 14:30-16:00 AH VI (2356\|051) (×9) Do 10:30-12:00 5056 (2356\|056) (×9) Fr 10:30-12:00 5056 (2356\|056) (×1)
Theory of Constraint Satisfaction Problems	Fach-/Modulprüfung	6	351819
	Übung		312813	Di 14:30-16:00 5055 (2356\|055) (×10)
	Vorlesung		312812	Di 08:30-10:00 5055 (2356\|055) (×11) Do 14:30-16:00 5055 (2356\|055) (×8) Do 14:30-16:00 Seminarraum i7, Raum 4116 (2353\|116) (×1)